School of Science and Technology

Results: 4202



#Item
11

KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C

Add to Reading List

Source URL: sist.shanghaitech.edu.cn

Language: English - Date: 2018-07-06 22:20:16
    12

    Image Segmentation using Dual Distribution Matching Tatsunori Taniai1 1 Graduate School of Information Science and Technology,

    Add to Reading List

    Source URL: taniai.space

    Language: English - Date: 2018-08-09 04:42:17
      13

      International Pacific Research Center April 2016 – March 2017 School of Ocean and Earth Science and Technology

      Add to Reading List

      Source URL: iprc.soest.hawaii.edu

      Language: English - Date: 2018-01-12 16:16:26
        14

        Murata Lab., Graduate School of Information Science and Technology Staff Prof. Masayuki MURATA, Assoc. Prof. Shin’ichi ARAKAWA, Assist. Prof. Yuichi OHSITA

        Add to Reading List

        Source URL: www.photon.osaka-u.ac.jp

        - Date: 2018-03-07 02:34:24
          15

          STRATEGIC PERFORMANCE MANAGEMENT SYSTEM (SPMS) Philippine Science High School (PSHS) System Department of Science and Technology (DOST)

          Add to Reading List

          Source URL: www.pshs.edu.ph

          Language: English - Date: 2018-02-12 22:46:32
            16

            Why teach computing and information science in high school? By the year 2020, the Bureau of Labor Statistics projects there will 4.2 million jobs in computing and information technology in the United States. Unfortunatel

            Add to Reading List

            Source URL: www.ist.unomaha.edu

            Language: English - Date: 2018-07-20 12:51:27
              17

              THE NON-BAYESIAN RESTLESS MULTI-ARMED BANDIT: A CASE OF NEAR-LOGARITHMIC REGRET Wenhan Dai†∗ , Yi Gai‡ , Bhaskar Krishnamachari‡ , Qing Zhao§ † School of Information Science and Technology, Tsinghua Universit

              Add to Reading List

              Source URL: ceng.usc.edu

              Language: English - Date: 2011-10-16 14:12:22
                18

                International Pacific Research Center, School of Ocean and Earth Science and Technology, University of Hawaii Phone: (, Fax: (Global Research Laboratory (GRL) Korea-US joint workshop on Global

                Add to Reading List

                Source URL: iprc.soest.hawaii.edu

                Language: English - Date: 2012-01-05 20:04:32
                  19

                  Sharing Resources Between AES and the SHA-3 Second Round Candidates Fugue and Grøstl Kimmo Järvinen Department of Information and Computer Science Aalto University, School of Science and Technology

                  Add to Reading List

                  Source URL: users.ics.aalto.fi

                  Language: English - Date: 2010-08-15 15:20:50
                    20

                    Hawaii Natural Energy Ins2tute School of Ocean and Earth Science and Technology University of Hawaii at Manoa John Cole, Senior Policy Analyst

                    Add to Reading List

                    Source URL: www.hawaiienergypolicy.hawaii.edu

                    Language: English - Date: 2018-01-25 20:26:49
                      UPDATE